Phạm trù hTop, trong đó các đối tượng là không gian tôpô và các cấu xạ là các lớp đồng luân của các hàm liên tục, là một phạm trù không thể được cụ thể hóa.

Việc không tồn tại bất kỳ một hàm tử chung thủy nào từ hTop đến Set được chứng minh lần đầu tiên bởi Peter Freyd. Trong cùng một bài viết, Freyd đã trích dẫn một kết quả trước đó rằng phạm trù "các phạm trù nhỏ và các lớp tương đương tự nhiên của các hàm tử" cũng không thể cụ thể hóa được.